Робкая попытка формального доказательства теории через формальное описание устройства Постоянной Тонкой Структуры.