Då , såsom vi antaga för gitvet,