доказано ли что уравнение 2*x=y+1 имеет бесконечное число решений в простых числах? если доказано то пожалуйста дайте ссылку на доказательство