Template:TtsX (歸納; induction)