changed a grant number
added a proposition to justify main theorem