Prove that
Hidden so you can work on the problem first.
Proposed by Ivan Krijan, University of Zagreb.