adding basic explanation of usefulness of theorem