theorem :: XPRIMES2:5975

canceled;