är utöda på solida matematiska grander.