li kvill i trots af satsens axiomatiskabeskaff.