@MISC{BORSUK_7.MIZ,
  AUTHOR = {Korni{\l}owicz, Artur and Riccardi, Marco},
  TITLE = {The {B}orsuk-{U}lam Theorem},
  SECTION1 = {Preliminaries},
  SECTION2 = {Main},
  DAY = {20},
  MONTH = {September},
  YEAR = {2011},
  ADDRESS1 = {Institute of Informatics\\University of Bia{\l}ystok\\Sosnowa 64, 15-887 Bia{\l}ystok\\Poland},
  ADDRESS2 = {Via del Pero 102\\54038 Montignoso\\Italy},
  SUMMARY = {The Borsuk-Ulam theorem about antipodals is proven, \cite[pp.~32--33]{Hatcher}. 
  It is formulated as the registration
  \texttt{cluster continuous -> with_antipodals for Function of Tcircle(p,r),TOP-REAL 2;}}
}
