Если прямая (данная) теорема верна, то обратная теорема не всегда верна. ... есть ромб – это неверно, т. е. обратная теорема неверна