Q54 Matemática  (IMO Longlists 1977)

Se provar que