theorem :: XPRIMES2:6973

canceled;