theorem Th37: :: NUMBER10:37

for n being Nat st n > 4 holds
ex k being Nat st
( ( n = 2 * k & k > 2 ) or ( n = (2 * k) + 1 & k > 1 ) )