theorem :: XPRIMES2:1073

canceled;