But then there would then be a proper extension of Q within P; a contradiction to its maximality.
しかしその場合、P 内に Q の真の拡張が存在することとなり、これは極大性に矛盾する。