> > 定理証明機の正確さの証明機
> GNU is Not UNIX

Exception: Stack Overflow

参考：2002/01/11(金)01時20分32秒