两头占必然两头