theorem :: XPRIMES2:5745

canceled;