Illustrated and fixed hierarchical theorem