theorem :: XPRIMES2:922

canceled;