Identity property of division