K * i aTH=