合数定等于质子数