4.3.2. Kongruentside põhiomadused