change master file: integrate theorems