är stödd pä solida matematiska grander.