for R1 being RestFunc holds - R1 is RestFunc