Squire’s theorem