Se consideră algoritmul Algo(a, n, m, k) care utilizează subalgoritmul Check(num). Care dintre următoarele afirmații sunt adevărate?