The use of the pointed arch for bringing transverse vaults to the same height diagonal ones, is in disagreement with what theory