theorem :: XPRIMES2:1203

canceled;