With no explanation, label text_A→text_B with either "NOT ENOUGH INFO", "REFUTES" or "SUPPORTS".
text_A: Ceres is an asteroid .
text_B: Ceres was the first asteroid to be discovered -LRB- by Giuseppe Piazzi at Palermo on 1 January 1801 -RRB- .
SUPPORTS.