theorem :: XPRIMES2:1205

canceled;