7. 当物理学遇上生物学：理论性质、模型和证明