theorem :: XPRIMES2:8671

canceled;