Body of intersect_plane_with_plane