Search results for: 'prove that if x'