How to go from one level to the sub-level of another level

[Lowenfas]

Yes.
I don’t think you need proof but here it is anyway.