theorem :: XPRIMES2:5993

canceled;