Describir: How to prove it.