Test proved equations on partial inputs
Partial Nichomachus
Iterate example.