안된다는걸 증명한거 아닌가 ?