Alan har anfört såsom Axiom den satsen , attAdeln