プログラムには数学的に証明されたものしか書けないから
論理が逆だよ