theorem :: XPRIMES2:5773

canceled;