Pigeonhol Principle+linear tc