Adds some lemmata to Relative motives