axiom uppställa och ideligen omsäga den satsen,