theorem Th29: :: HILBERT2:29

for n being Element of NAT holds VERUM <> prop n