[1419] Algebraic PROOF This Lock is Worthless (Vevor Chain Lock)