1737 માં, મહાન જર્મન ગણિતશાસ્ત્રી લિયોનહાર્ડ યુલર સૂત્ર નીચે બતાવેલ અનંત યુક્લિડના પ્રમેય પ્રથમ વ્યક્ત કરી હતી.