theorem :: XPRIMES2:8990

canceled;