Kongruenznotation und sichere Rechenregeln

Restgleichheit präzise als Kongruenz formulieren, erlaubte Operationen beweisen und erste lineare Kongruenzen ohne unzulässiges Kürzen lösen.