for F being non degenerated ZeroOneStr holds 1. F in NonZero F