själv­klar sats

AXIOM