Harnack's principle — theorem