22 theorema 3 corrected