写像「ƒ」を使うのは、

(27,5,3,5,3,25,3,7,3) = (9,5,3,3,3,5,3,25,3,7,3)

だと、明らかに間違ってる。だって、等号の左右の文字が完全に違う。

そこで...

ƒ (27,5,3,5,3,25,3,7,3) = (9,5,3,3,3,5,3,25,3,7,3)

(9,5,3,3,3,5,3,25,3,7,3)は (27,5,3,5,3,25,3,7,3) のƒの像であるという事を書いてる。

ƒ (27,5,3,5,3,25,3,7,3)は(9,5,3,3,3,5,3,25,3,7,3)だが、

ƒ (9,5,3,3,3,5,3,25,3,7,3)は (27,5,3,5,3,25,3,7,3)にはならない（なって欲しくない）。

(27,5,3,5,3,25,3,7,3) = (9,5,3,3,3,5,3,25,3,7,3)

だと

(9,5,3,3,3,5,3,25,3,7,3)=(27,5,3,5,3,25,3,7,3)

が成立してしまう。

だから写像を使う。