brute force proof