>>77により、>>76が真であることが証明されました