johnsons theorem

Input interpretation

Johnson's theorem