>>264
途中で二乗をとるとか非可逆な操作をしているため十分性が問題になるのだから、
最終的に得られた式から直接十分性を確かめるのが普通。