>>418
裏の対偶が逆だからご指摘の通り