Да, можно назвать признак параллельности прямых теоремой, обратной свойству углов, образованных при пересечении двух параллельных прямых секущей. В данном случае, если две прямые пересекаются секущей так, что углы при пересечении равны, то эти две прямые параллельны.