leon annes theorem