871-880 tétel 1617 közül