Li-Fan Chen says to YSITD
@google 對角線證明