Start proving lemmata about new norm function.