Theorem2.11.4

close #463