theorem :: XPRIMES2:1220

canceled;