>>596
成り立たない。反例あり。