a>0→a^2>0 はどう証明するの?