proving Tiub (512)