Assertion: parallelepiped's side | /r/HasProperty | direct consequence
Facets:
Source sentences:
text: The congruent sides are the direct consequence and it can be proved quickly with the help of equivalent formulations.