theorem :: XPRIMES2:1477

canceled;