>>717
あれ?出しようがないのと証明できるのの区別がつかない?