Depressed Cubic Easy formula with short proof

Comments on https://lichess.org/@/rubblechess/blog/depressed-cubic-easy-formula-with-short-proof/vKKslFWe