【计】 pairing function theorem
conjugate【计】 pairing
function【计】 F; FUNC; function
theorem【化】 theorem【医】 theorem