Leii näst antecknade satsen , örn direktaritmetiskt