법칙 볼드체로 되어있는거 있지? 그거 증명 좀 해줘 공리라서 증명 할필요 없이 그냥 외우는게 답인가???