Сағыштырыуҙар системаһы Ҡалдыҡтар тураһында Ҡытай теоремаһы раҫлауынса, парлы рәүештә үҙ-ара ябай модулдәре менән сағыштырыуҙар системаһының: : һәр саҡ сығарылышы бар һәм ул модуле буйынса берҙән-бер.