Dodal: Euler -  enotski-leva implikacija