Lätt också att bevisa det,