[see also: little
The rest of the proof goes through as for Corollary 2, with hardly any changes. [= with almost no changes]
On the whole, the solution can hardly be considered satisfactory. [= is rather unsatisfactory]