<%x,(0. L)%> = <%x%> by POLYNOM5:43;
hence <%x,(0. L)%> is constant ; :: thesis: verum