theorem :: XPRIMES2:2993

canceled;