Detta är lätt att bevisa,