inserted the definition and theorem into the main body. minor modification through the paper to make things clearer (hopefully)