진자 하위호환인가