[see also: straight
Let us now prove directly (without recourse to [5]) that......
They were defined directly by Lax [2], essentially as we have defined them.