theorem :: XPRIMES2:7990

canceled;