岡の連接性定理の基本原理でもある