assume [P,Q] : (line(P) & line(Q) & int_l_l(P,Q))
construct [R] : (plane(R) & inc_l_pl(P,R) & inc_l_pl(Q,R))
