pub fn is_factoring(target: u64, a: u64, b: u64) -> bool
Check if the given factors correctly factorize the target.