Decrease the scope of a name in RCLS

[libeako]

Just for more elegance: i suggest to minimize the scopes of the names.

In the Beta version:
In http://linear.ups.edu/fcla/section-TSS.html
In theorem 'RCLS': the name "r" [number of non-zero rows] is present in the statement of the theorem but is not needed there. Hence i suggest to move it into the proof.