started lemmas about transportf in sigmas