>>483
何の条件もなければその通り。この場合条件式があるので、そうならない。
ただ、反対側が成立するかどうかは証明できていないし、反例もまだ見つ
かっていない。