theorem :: XPRIMES2:5400

canceled;