Witam. Szukam twierdzenia jak w temacie. Ma być ono podobne do chińskiego twierdzenia o resztach, tyle że ma mieć formę równoważności, a nie implikacji. Chodzi o jakiś zwykły układ typu:
\(\displaystyle{ \begin{cases} x = a_{1} (mod m_{1}) \\ ... \\ x = a_{n} (mod m_{n}) \end{cases}}\)
Wiem tylko tyle, że szukany warunek ma być czymś w stylu podzielności/NWD/czegoś takiego, ale tego pewnie nietrudno się domyślić. Zadowolę się samym twierdzeniem, chyba że macie również dostęp do dowodu, to będę wdzięczny.