theorem :: XPRIMES2:2990

canceled;