theorem Th19: :: EULER_1:19

for n being Nat st n > 1 holds
Euler n <= n - 1