theorem :: XPRIMES2:8793

canceled;