theorem :: XPRIMES2:2870

canceled;