Un caso práctico de property-based testing.