completness proof