De donde se deduce el grosor del muro y la existencia de la doble pared, una recta (externa) y otra curvada (interna).