två satser som måste anses allmänt erkända , ehuru man oftaicke