tbningS förmodan är grundad.