Wallace's theorem