theorem :: XPRIMES2:1208

canceled;