Kongruentsi põhiomadused