(1) there are a number of results that are already known, or easily deducible from known theorems;
(1) ay mayroong isang bilang ng mga resulta na nai-kilala, o sa madaling deducible mula sa mga kilala theorems;