S行列の解析性の要求は基本公理だろ。