theorem :: XPRIMES2:1470

canceled;