Category:Theorems in functional analysis