theorem :: XPRIMES2:5762

canceled;