transfor definition 1 and definition 2 to theorem env