second theorem