n có 54 ước ⇒ n ko là số chính phương(vì số chính phương có số ước là số lẻ)
Với mỗi ước của n(giả cử là a), ta luôn tìm đc một ước khác là \(\frac{n}{a}\)(vì trong TH này, n ko phải là SCP)
Ta ghép đc 27 cặp như vậy(các cặp là (1;n),(2;\(\frac{n}{2}\)),...) mà mỗi cặp có tích là n ⇒ Tích của các cặp này là n^27 (ĐPCM)