theorem :: XPRIMES2:8767

canceled;