pub fn proven<F: FnMut(&[u64]) -> u64>(n: usize, f: &mut F) -> bool
Returns true if proposition is correct, false otherwise.
true
false
