Justifying and Proving in the Cabri Environment · Study