example proof