Dado que(+)(+)⏟b⋅c=a=+, se deduce que(+)(+)⏟ab=c=+, es decir, Dado que(−)(−)⏟b⋅c=a=+, se deduce que\(\underbrac...Dado que(+)(+)⏟b⋅c=a=+, se deduce que(+)(+)⏟ab=c=+, es decir, Dado que(−)(−)⏟b⋅c=a=+, se deduce que(+)(−)⏟ab=c=−, es decir, Dado que(+)(−)⏟b⋅c=a=−, se deduce que(−)(+)⏟ab=c=−, es decir, Usando el orden de las operaciones y lo que sabemos de los números firmados, obtenemos
Dado que(+)(+)⏟b⋅c=a=+, se deduce que(+)(+)⏟ab=c=+, es decir, Dado que(−)(−)⏟b⋅c=a=+, se deduce que\(\underbrac...Dado que(+)(+)⏟b⋅c=a=+, se deduce que(+)(+)⏟ab=c=+, es decir, Dado que(−)(−)⏟b⋅c=a=+, se deduce que(+)(−)⏟ab=c=−, es decir, Dado que(+)(−)⏟b⋅c=a=−, se deduce que(−)(+)⏟ab=c=−, es decir, Usando el orden de las operaciones y lo que sabemos de los números firmados, obtenemos