theorem :: XPRIMES2:5425

canceled;