Question: Show that Euclid's construction of the circle inscribed in a triangle (IV.4) is valid in any Hilbert plane. Be sure to explain why two angle bisectors of a triangle must meet in a point. Conclude that all three angle bisectors of a triangle meet in the same point.