Если A и B отличны от нуля c .e. градусов и пересечение A и B вычислимо, должны ли A и B быть минимальной парой?

Question

Кроме того, верно ли обратное?

Под минимальной парой я подразумеваю пару (A, B) такую, что если некоторый язык C сокращается до A, а C сокращается до B, то C вычислимо.