proved (admitted) the one-one property of fraction relation