Li-Fan Chen says to YSITD
@BirkhoffLee 就同餘