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