alot added to theorem
added stuff in theorem