Iuleduingssatsen är till så väl formsom