 For then \(\Box p \rightarrow p\) must be true at any world \(i\), for if \(\Box p\) is true at \(i\), then \(p\) is true at each \(i\)-accessible world, which includes \(i\), since \(i\) is self-accessible. This will indirectly yield the result that \(\OB (\OB p \rightarrow p)\) is true in all such models as well.