يک قضيه وجودي هست که
ÙŠÚ© قضيه وجودي هست Ú©Ù‡ مي‌گه در دنيا Øداقل دو عدد آدم خوب وجود دارند: يکي‌شان ربطي به آرمان‌شهر Ùˆ … دارد Ùˆ ديگري هم مربوط به ÙŠÚ© آدم شوريده Ùˆ ديوانه مي‌شود.
اثبات قضيه پيچيده است Ùˆ به دپارتمان رياضي ارجاع‌اش مي‌دهيم،‌ Ùقط شروع‌اش را مي‌گويم Ú©Ù‡ از Alan Parsons’ Project شروع مي‌شود Ùˆ به کامپيوتر من منتهي مي‌شود.