thus signature (FreeUnivAlgNSG ECIW-signature ,X) = ECIW-signature by FREEALG:4; :: according to AOFA_000:def 27 :: thesis: verum