which conjecture must be true