Did you know ... Search Documentation:
Predicate nth_integer_root_and_remainder/4