1793 假设不成立