theorem :: XPRIMES2:4867

canceled;