fixed ola ola theorem
merged