Tiny Java Subset Vs Subsequence Convergence Theorem