nayana-c1.867c992ae9100904cc61c84591adf0f8f863e0387e30f0d0dbc86640e9f50a1a.fr.test.47180

The task

Quel est l'exemple LaFont principalement utilisé pour démontrer? A. La simplicité des filets de produit de la somme B. La nature non confluente de l'élimination coupée C. Qu'une coupe sur deux formules affaiblies oblige deux preuves de la même séquente à identifier D. L'effondrement des catégories fermées cartésiennes dans une précommande Return only the single uppercase letter of the correct option.