>>720
非自明な反例があるってことでは?