MTF Platfus: Czy skoro w Mały Twierdzeniu Fermata (MTF) mamy, że r_n(x^y) można sobie zamienić x na r_n(x), to wobec tego można również robić r_n(x^k*x^y−k) = r_n(r_n(x)^k*x^y−k)?