proof with sample output added