a 12 a 13 = 12 a 13 a