theorem :: XPRIMES2:1078

canceled;