theorem positions