On the sum of two closed subspaces

If U,V are closed subspaces of a Fréchet space, then E is the direct sum of U and V if and only if E′ is the algebraic direct sum of the annihilators U∘ and V∘. We provide a simple proof of this (possibly well-known) result.