theorem :: XPRIMES2:1265

canceled;