proving Trubka (512)