demonstração de regularidade