Informasi yang berkaitan dengan it/Proprietà di normalizzazione (lambda-calcolo)