Which of the following is an example of a theorem?
A. The areas of two congruent figures are equal.
B. The area of a square is the square of the length of its side.
C. The area of a rectangle is the product of its base and height.
D. The area of a region is the sum of all of its non-overlapping parts.