The difference is a harmonic function, because the Laplacian is a linear differential operator:The boundary inequality says on . The minimum principle from part (ii) givesThis is the comparison principle for harmonic functions. Applying it in both directions also shows why fixed Dirichlet boundary conditions determine at most one harmonic function.