Введение в теорию «Пяти Элементов 5.0», или 137+(1/7-1/11+1/13-1/17)/2

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