To prove a fact about the smallest number divisable by everything from 1 to 10