I denna härledning se vi denstore