Creates a diagram illustrating the idea behind proof.