got some idea for proof of Rmult (uses MinMax) ...

... and leave the rest to the menthor ...