It is one of two teams owned by beverage company Red Bull GmbH, along with Scuderia Toro Rosso.
Te zmote je moč dokazati s konstrukcijo realnih števil iz racionalnih števil, ki dajo tudi neposredne dokaze.