Nierówności, podzielność liczb całkowitych, twierdzenia planimetryczne.
Doprowadzanie nierówności do postaci (a - b)² ≥ 0 i uzasadnianie nieujemności.
Rozkład na iloczyn kolejnych liczb całkowitych i wyłączanie czynników.