“我爱你”是个复杂的证明题。