이론상 다 가능