johnsons theorem