tower construction
building expansion
A proof not utilizing the tower construction exists of the first version of the loop theorem.
A proof not utilizing the building expansion exists of the first version of the loop theorem.