# Check that P3*P6=P4

Here's elements of Symmetric group of 6th order: S3:

I want to check that P3*P6=P4.

```
G = SymmetricGroup(3)
BookNumbers = [1, 4, 2, 3, 6, 5]
P = [0]
for i in BookNumbers:
P.append(sorted(G.list())[i-1])
print (P[3] * P[6]).list(), P[4].list()
print (P[3] * P[6]) == P[4]
```

it gives:

```
[3, 2, 1] [2, 1, 3]
False
```

so they are the same actually. But how do I make sage say `True`

?.