theorem Th10: :: HILBERT2:10

for p being Element of HP-WFF holds len p >= 1