“ so K * 1 132