Simplify example proof