GPU共享内存与bank冲突中一个小结论的证明

证明的结论见CUDA3.2编程指南附录G3.3.1或《高性能运算之CUDA》张舒等编著的160页倒数第7行和第6行（此行有缺陷，意思不对，按英文原文G3.3.1中应在“就会发生bank conflict  ”前加上“线程tid和线程tid+n  ”）。

结论：m整除s*n的充分必要条件是m/d整除n，其中s，n，m是正整数，d是m和s的最大公约数。

证明：因为d是m和s的最大公约数，所以m和s/d无公因子（互质、互素），从而

         m 整除 s*n   <=>  m 整除 n*d*s/d 

                            <=>  m 整除 n*d

                            <=>  m/d 整除 n