Stipulating that the code runs on a "distributed multithreaded environment where each do-loop runs as a separate thread", the number of cores will always be MUCH less than infinity, so how can this (empirically) prove Fermat's Last Theorem? The concept of limit might apply... I do not have access to SAS on such a system, but I would be interested what values of N, A, and B the processes might generate. It appears to me, naively, that only C will iterate.