>>755
必要と十分が逆じゃないか?