diff --git a/w10rap.md b/w10rap.md index e71f519..6d4e256 100644 --- a/w10rap.md +++ b/w10rap.md @@ -222,7 +222,8 @@ $\Box$ ### Przemienność dodawania **Twierdzenie** -$$ \forall m\, n.m + n = n + m $$ +$\forall m\, n.\ m + n = n + m$ + Dowód przez indukcję po $n$: - krok podstawowy: