T通常がS証明できない