theorem LemmaOnto2: :: FUZIMPL4:4

for N1, N2 being Fuzzy_Negation st N1 ~ = N2 holds
N1 is onto