例えばformula_60を定理の条件を満たすペアとする。