theorem :: XPRIMES2:5925

canceled;