Verifiering med hjälp av dator av två oberoende formler för beräkning av antalet lösningar för linjära kongruenssystem med två eller tre obekanta.