送交者: xinku 于 2008-01-09, 17:57:17:
回答: this is invalid proof. Since the first assumtion is equivlent to 由 steven 于 2008-01-09, 15:57:43:
加跟贴
标题:
内容: (BBCode使用说明)