Sålunda finnes det en sats af cirklarför