one 2D line in {vector, origin} form
one 2D point
the line in {vector, origin} form
origami axiom 4: form a line perpendicular to a given line that passes through a point.
one 2D line in {vector, origin} form