Detta är redan klart af föregående resonnementer,