theorem :: XPRIMES2:4973

canceled;