theorem :: XPRIMES2:2872

canceled;