theorem :: XPRIMES2:8770

canceled;