theorem :: XPRIMES2:971

canceled;