. Od vyplývá, . Proto obě a jsou pozitivní, a jeho jedinečnost je zaručena jedinečnost . QED
. From it follows . Hence both and are positive, and their uniqueness is guaranteed by the uniqueness of . QED