På samma sätt kan man också bewisa , alidet