1216
Mathematical justification
It turns out ...
