démontrer que Aire abk:Aire ack =ab:ac