Detta är lätt att bewisa.