>>522
自明なのに何を証明??