Deakstadieđáhus: The mathematical theory of finite element methods