비례관계가 존재