thus p +* (i,a) is Tuple of (n + 1),RAS ; :: thesis: verum