>>547
おお、それです。
ありがとうございました。

・・・たしか、上記の例ですと上が必要条件で下が十分条件ですよね?