Source: https://www.otaru-uc.ac.jp/~sayama/lecture_html/appinf/statement.pdf