売り買い同数の定理とかありそう