theorem :: XPRIMES2:4702

canceled;