b is actually substiution property of equality
c and d are angle addition postulates
e is substiution