Template:Tabular proof format