Proof

It turns out there is an easier way rather then brute force computation.