Template:QED

∎