Up (p,T,0) = 0_ (n,L) by Th34;
hence Up (p,T,0) is monomial-like ; :: thesis: verum