theorem :: XPRIMES2:5736

canceled;