Search results for: 'proof n n n n n lynx that max'