Template:Replacement theorem