Demonstrações e rigor