More work on the UKP5 proof. Now with Tikz graphics to aid the proof.
More work on the UKP5 proof. Now with Tikz graphics to aid the proof.

henriquebecker91/masters,henriquebecker91/masters,henriquebecker91/masters,henriquebecker91/masters