应该是老师狠，找个tutor教写proof