Geometrical proof: the mediation of a microworld