theorem :: XPRIMES2:3768

canceled;