替换法和假设法