[VikingCoder]

I've been working on a proof for a long time, but I'm just not sure if I'll finish it...