AならばBと
Aが真ならばBが真
とは違うだろ