Zbytečná podmínka

Podmínku „čtyři je různé od nuly” psát nemusíš, Horáčku!