3.4.5 可解性