fullt säkra matematiska grunder De försäkrade äroenda