Об одном алгоритме проверки существования нетривиальных подквазигруппстатья