**Kolmogorov-Arnold Networks: MLP vs. Kan, Math, Universal Approximation Theorem