Lineaarkongruents ja diofantiline võrrand