User blog comment:Alemagno12/A ordinal notation/@comment-25337554-20150726094129/@comment-25601061-20150726201442

Prove it.