Platforma jest w wersji
Twierdzenie

Prawo łączności dodawania i mnożenia