theorem :: XPRIMES2:7665

canceled;