proof complete