Which Greek mathematician, from the 1st century BC, is best known for the theorem which bears his name and for leading a group who discovered square numbers and proposed that the earth was round, planets have an axis, and they travel around the sun?