logique

logique2

logique3

CQFD