Till en början må såsom en rent axiomatisksats