さすがに行けるか…？

2x+1＝1の時、(x+y)^2+4^2＝x^2+y^2-2x-2y+2 を証明せよ。