>>637
p↑が(p',q',r')に平行でp'≠0と仮定しているか、

(0,q,r)の形のベクトルでOC↑に垂直なベクトルは(0,q,0)で
これはゼロベクトル以外でOD↑との内積がゼロにならないので不可、
という議論を省略しているんだと思う