proof nearly done, having some trouble with the analytic parameterisation of non-flat universes.