one 2D point
an array of one solution line in {normal, distance} form
origami axiom 2: form a perpendicular bisector between the given points
one 2D point