Докажите, что число x является элементом приведённой системы вычетов тогда и только тогда, когда числа a₁, ..., a_n, определённые сравнениями

x ≡ a₁ (mod m₁),  ..., x ≡ a_n (mod m_n)  принадлежат приведённым системам вычетов по модулям m₁, ..., m_n соответственно. Выведите отсюда мультипликативность функции Эйлера.