ざっと見たところPRO theorem第3版にはのってないみたいね
第1版にはあった気がするのよね…