[math-fun] Unique factorization (connection to music?) question