The predicate T is defined as: T(x, y, z): (xy)² = z. Select the proposition that is true.

A) T(4, 1, 5)
B) T(4, 1, 25)
C) T(1, 1, 1)
D) T(4, 0, 2)