ブラジリアとはブラジルの首都のことである．