theorem :: XPRIMES2:8766

canceled;