Bolzano Weierstrass theorem. Does this theorem have a Chinese name?

Bolzano Weierstrass theorem. Does this theorem have a Chinese name?

Bolzano Weierstrass
Russ theorem