Template:Necessary-condition