4减几