theorem :: XPRIMES2:8918

canceled;