theorem :: XPRIMES2:2972

canceled;