theorem :: XPRIMES2:1079

canceled;