The "General form" needs an independent proof as the style of proof in the two previous cases differ.