theorem :: XPRIMES2:7764

canceled;