Before revision: Both of these statements follow quite easily from the criterion ( * ) stated above.
After revision: Both of these statements follow quite easily from the criterion ( ) stated above.