added export theorem