moves remaingin theorems