Two-Sample Hotelling $T^2$ Distribution Theorem