Rigorous Solution of the Gardner Problem