[n COROLLARIES]
94,896 of 196,601 in NWL2023·also valid in CSW24
an easy inference; a natural consequence or result [n COROLLARIES]
50,843 of 280,887 in CSW24·also valid in NWL2023