...**
```solidity
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.20;
contract SafeMathBasic {
function add(uint256 a, uint256 b) public pure returns (uint256) {
return a + b; // 自动检查溢出
}
function subtract(uint256 a, uint256 b) public pure returns (uin...