实际上我觉得唯一性那步都多余
只要能说明这两个边可以是5和12 我就说我构造了这样的直角梯形 足够了

【 在 sexwolf 的大作中提到: 】
: 再想想有没有通过假设命题成立来证明命题成立
--
FROM 123.116.98.*