互换原则,猜一数学名词