theorem :: XPRIMES2:4704

canceled;