påvisa , att R: