*תזכורת: <math>y_1,...,y_n</math> נקראת תלויות לינארית אם קיימים קבועים לא כולם אפס כך ש <math>c_1y_1+...+c_ny_n\equiv 0</math> (הצירוף הוא פונקצית האפס).
*הגדרה: הוורונסיקאן של הפונקציות <math>y_1,...,y_n</math> הוא הדטרמיננטה <math>\left|\begin{pmatrix}
y_1 & y_2 & \cdots & y_n \\
y_1' & y_2' & \cdots & y_n' \\
\vdots & \vdots & &\vdots\\
y_1^{(n-1)} & y_2^{(n-1)} & \cdots & y_n^{(n-1)}
\end{pmatrix}\right|</math>