AがBならば、AでなければBでない

これ、簡単に間違ってると論証できますよボクならｗ