Finish current theorems in Q

I want to finish the theorems for Q.