Theorems in functional analysis