この強力な原理は1994年に知られるようになった(papadimtriou 1994 problem 16.4.10, "symmetric space")。