theorem Th62: :: POLYNOM9:62

for L being doubleLoopStr
for f being finite Function
for E being Function holds
( SgnMembershipNumber (f,L,E) = 1. L or SgnMembershipNumber (f,L,E) = - (1. L) )