The predicate t is defined as t(x,y,z):(x+y) ^2 =z. Select the proposition that is true.
a. t(4,1,5)
b. t(4,1,25)
c.t(4,0,2)
d. t(1,1,1)