Proofzo workspace
This is the worked example. Turn on JavaScript to change the figures.
Loading your workspace