What allows you to conclude that S is the midpoint of segment AB?
A) CPCTC
B) definition of midpoint
C) definition of right angle
D) definition of perpendicular bisector