Theorem

If is such that for every , then .