Беренсе булып был теореманы Лейбниц иҫбатлай, был теореманы ул Ферма́ға бәйһеҙ рәүештә  1683 йылдан алдараҡ аса һәм был турала теүәл иҫбатлауын килтереп Бернуллиға хәбәр итә. Бынан тыш Лейбниц Вильсон теоремаһы формулировкаһының прообразын тәҡдим итә.