ところが、こうした証明方法ではp≠npを証明不可能であることがにより示された。