Subnormal not implies normal

Statement
A subnormal subgroup of a group need not be normal.

Partial truth
A group in which every subnormal subgroup is normal is termed a T-group.

Proof
This statement is easily shown to reduce to the statement that normality is not transitive, i.e. a normal subgroup of a normal subgroup need not be normal.