Historical Artefacts, Semiotic Mediation and Teaching Proof