Gregory had proved them independently and Huygens should have realised that Gregory could not have known of them. However, Huygens ' main mathematical objection to Gregory's proof is a valid one.
Gregory had proved ang mga ito malaya at Huygens ay dapat na magkaroon ng realised na Gregory ay hindi kilala ng mga ito. Gayunman, Huygens' main matematiko pagsang-ayon sa Gregory's patunay ay isang balidong.