theorem :: XPRIMES2:8765

canceled;