theorem :: XPRIMES2:926

canceled;