And not only does it exist, but we know that the composition of f with this function that I just constructed here is equal to the identity function on y.
มันไม่ใช่แค่มีจริง, แต่เรารู้ว่า การประกอบ f กับฟังก์ชันนี้ ที่ผม เพิ่งสร้างไป เท่ากับฟังก์ชันเอกฐานทํากับ y