Deep Ridgelet Transform: Voice with Koopman Operator Proves Universality of Formal Deep Networks