1) 바나흐 고정점정리 사용해서 y'=f(x,y)인 ODE초깃값문제 해의 존재성과 유일성 증명(여기서 y는 성분n개짜리 벡터)
https://en.wikipedia.org/wiki/Picard%E2%80%93Lindel%C3%B6f_theorem
2) 그리고 n차이고 1변수짜리 미분방정식은 1차이고 n변수짜리 미분방정식으로 고칠 수 있음. 이 때 초깃값은 성분 n개짜리 벡터가 된다.
3) 서로 독립인 n개의 초깃값에 대한 해들을 y_1부터 y_n이라고 하면 모든 일반해를 y_i들의 선형결합으로 작성 가능