prove that arc PXA ≅ Arc PYB.