Supplementary video 9 for the course BSMA2007 (spring 2021)