>>664
a^2=0→a=0　は実数なら常に　0≦a^2　等号はa=0のときのみ成り立つ
ってやつの等号の性質使っているんですよね。