theorem :: XPRIMES2:5927

canceled;