theorem :: FUZNUM_1:22

for C being non empty set
for F being FuzzySet of C st F is normalized holds
height F = 1