theorem :: XPRIMES2:8942

canceled;