成り立つ仕組みが不可能なことが証明