The formalization of the principle by its authors.
2006년 10월 5일에 확인함.  더 이상 지원되지 않는 변수를 사용함 (도움말) The formalization of the principle by its authors.