1TS>>2TSが証明されてしまった