created subfolder for slides
removed deprecated notation
removed igcd implementation; hope that didn't actually work, otherwise i just threw it out for no reason.
made igcd positive only, because that's the only one for which functions correctly anyway, and it greatly simplifies the proof.
added new theorem to be proved

Signed-off-by: Pepijn Kokke <pepijn.kokke@gmail.com>