A study on proof in a community of mathematical practice