Pbilosophen bewiser derefter , at sädant är rund.