既然是律,当然是定律.
定律是客观存在的,是某人或者某些人发现的,比如交换律；
定理是某人或者某些人依据定律和其他定理推导出来的,比如勾股定理,所以定理需要推导过程.