Kolmogorov-Arnold Networks: MLP vs. Kan, Math, Universal Approximation Theorem [video]