Weyl's criterion