эта простая теорема чрезвычайно удобна при выкладках с простыми