helper for path induction on pointed spans
flipping pushout diagram gives the same pushout