theorem :: XPRIMES2:5990

canceled;