Ülesanne 2 (kongruentsi põhiomadus)