Why ORACLE doesn't do it?

emp = (empNO, sal)

To get the employee with the largest salary we do:

SELECT empNO, sal
FROM emp
WHERE sal = (SELECT MAX(sal) FROM emp)

Right?

So we calculate the maximum salary first, then we find the employees that achive that maximum.

Suppose that there is one employee that achieves the maximum.

Why can't ORACLE find the desired empNO directly?

I suppose something like:

SELECT empNO that corresponds to the max, Max(sal) FROM emp

For sure this is wrong becuase the select list contains only aggregated or grouped expressions