By reducing back - we are left with true form
5
@