thus p + q is Series of n,L ; :: thesis: verum