Professor Simon Nyukomb havodan ogʻir boʻlgan uchish apparatlari haqida oʻta muhim amaliy haqiqatni matematik tarzda isbotlab, fan tarixida oʻz oʻrnini egalladi. U nimani isbotlagan edi?