Har litt problemer med å navigere meg rundt divisjonsteoremet, som kort fortalt sier at for alle $a, b \in \mathbb Z \ \ : \ \ \exists !q, r \in \mathbb Z \ \ | \ \ a = qb + r$.
Det jeg mener med navigasjonsproblemer er egentlig bare mitt søk etter et bevis som tar for seg $a, b \in \mathbb Z$ i en fei, men alle startpunkter jeg finner går ut på å separere det i flere bevis; $a>0, a<0, b>0, b<0$.
Hvis man fører et bevis for $a>0, b>0$, vil bevisene for de øvrige konfigurasjonene være i samme stien?