Template:Proof (mathematics)/Metadata