>>26
自明的に正しい。 ＞ 0; for all x, y, z なら。