They mean the Imhotep theorem.
https://www-wwltv-com.cdn.ampp....roject.org/c/s/www.w