theorem :: XPRIMES2:2967

canceled;