Man kan antaga för ek Axiome,