In fact, there is a negative correlation between a proof being elementary and a proof being trivial. The reason people like abstraction is that it makes difficu

In fact, there is a negative correlation between a proof being elementary and a proof being trivial. The reason people like abstraction is that it makes difficult proofs trivial. The reason people don't like abstraction is that it makes elementary proofs non-elementary.