Logique

Corollaire