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