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