22 theorema 2 mistakes corrected