Man kan också som axiom uppställa satsen: