tower construction
structure erection
A proof not utilizing the tower construction exists of the first version of the loop theorem.
A proof not utilizing the structure erection exists of the first version of the loop theorem.