theorem :: XPRIMES2:6927

canceled;