removed statement about conjecture since we will prove it