A . لنفترض أن

T

هي علم الفلك البطلمي، ولنفترض أن

A

تمثل ثبات المجال فوق القمري في علم الكونيات الأرسطي. ونأخذ

H

E

من تأكيد عالم الرياضيات من مسرحية بريشت بأنه وفقا للقدماء، «لا يمكن أن توجد نجوم تدور حول مراكز أخرى غير الأرض»، وهذا يعني أنه لا يمكن أن يكون للمشتري أقمار. أخيرا نفترض أن ¬

H

E

Shafi da ba'a sani ba