theorem :: XPRIMES2:5872

canceled;