PROVE: 0 0 0 0 = 24 · HackerTrans