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