>>204
>それが証明できることと事実として正しいことは必ずしも一致しないけどもね
前者⇒後者は正しい。逆は真ならず。