theorem :: XPRIMES2:8705

canceled;