밑의 코드를 실행하면 위의 결과가 나옵니다.

이제 공리꼴이 어떻게 인스턴스화 되는지 알 수 있습니다.