on yhtä suuri kuin