theorem :: XPRIMES2:2764

canceled;