Ropp and Q_inject are proper
First attempt at extension of Lipschitz functions from Q to R