Obviously you wouldn't think it's a penalty considering Carvajal does something similar every game and it doesn't get called.
It is however a penalty as any push when you're in the air is hindering the attacker.
Funny that you mention Carvajal considering he was given his fair share of penalties against, while also in your squad you have a guy called Araujo who per your reasoning would become a serial penalty maker. So no, every push or contact is not a penalty.
Which comes to the second point, which is entire point of the discussion. If such penalty was given to Las Palmas, your rhetoric would change from "any push..... penalty", to... well you know. While certain poster here would be pulling out his highly intellectual The Stasi rhetoric and try to build Madrid conspiracy.
Ref`s in Spain just suck balls. This is the same guy who turned a blind eye on penalty on Bellingham, and now he awards 90+ penalty after 100kg Turk does his jump the pool impression.