>>868
では「p,qは線形独立」→「Pは正則」
の最も自然な論理はどうなりますか?