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