A law of conservation of difficulties: there is no easy way to prove a deep result.