>>870
当たり前すぎて証明しようという発想すら普通は出てこないけどw