theorem :: XPRIMES2:5746

canceled;