The House in Four Dimensions is a Theorem