Ideal'da temettu verimliligi ile alakali bir formul/function varmidir?