http://jp.arxiv.org/abs/0704.2634 http://jp.arxiv.org/abs/0704.2638

http://jp.arxiv.org/abs/0704.2933

1.4 ε論法．