theorem :: XPRIMES2:8672

canceled;