theorem :: XPRIMES2:1189

canceled;