Lions–Lax–Milgram theorem — a result in functional analysis with applications in the study of partial differential equations