>>601
fが(多変数)解析関数ならば解もそうなることは証明できます