theorem :: XPRIMES2:5926

canceled;