
theorem
  for R being up-complete non empty Poset
  for T being TopAugmentation of R holds T is Scott implies T is correct;
