pr T^a 7 ^ 24.