Lazi

Argument inutilisé

Contexte

Énoncé

Conditions

  • x et y sont deux formules
  • x +f y est calculable
  • y est inutilisé dans le calcul de x +f y

Conclusion

  • pour z une formule on a x +f y =c x +f z

Preuve

@todo