6.001 Cequine dit rien d'autre que ceci : chaque proposition est le résultat d'applications successives de l'opération à des propositions élémentaires.