The Loop Theorem using hierarchies

This report will build up the machinery of special hierarchies by discussing normal surfaces and boundary patterns. Then the report will use this construction to prove the Loop Theorem, following closely the proof presented by Marc Lackenby.