move some theorems around

some moved into vml