Engelfriet, J. Copying Theorems. DPB 1975, 4.