De Circuli Magnitudine Inventa (1654)