Kaj manjka v Leibnizovem dokazu?