theorem :: XPRIMES2:5130

canceled;