假设FTC1作为出发点,证明FTC2。