fixed the terms in theorem