משפט תלס כולל הרחבות