theorem :: XPRIMES2:5800

canceled;