Li-Fan Chen says to YSITD
可是m1!=m2阿