>>830
いつ不成立と言った?
数学的に意味のある命題については
異議を唱えてはいないはず。