ウチの本によると、>>347と>>303は同値であるらしい。同値であることの
証明は載ってなかったけど。
で、本に載ってた>>347の証明を読んだが、方針は>>352と同じで「Pの元で
l上でなくかつlとの距離が最小であるものの一つXをとる。」として始めて
いた。その後は 面倒な計算なしに かなりすっきり終わってた。