är axiomer , och behöfva alltså icke bevisas.