R {\displaystyle R} — коммутатив ҡулса һәм a 1 , ⋯ , a n {\displaystyle {\mathfrak {a}}_{1},\cdots ,{\mathfrak {a}}_{n}} — унда пар-пар үҙ-ара ябай идеалдар булһын (идеалдар, әгәр уларҙың суммаһы бөтә ҡулсаға тигеҙ булһа, үҙ-ара ябай тип атала). Ҡалдыҡтар тураһында Ҡытай теоремаһы,: