[Вэл]

Отличная идея, между прочим!
Только прежде надо уточнить.
Если из доказательства "верности" естественно вытекает доказательство подлинности АЙ, тогда "верность" является базисом, а "подлинность" АЙ - надстройкой. Кроме того, автор Гипотезы станет лучше разбираться в самой АЙ и когда-нибудь сделает обратное утверждение - АЙ не вытекает из Гипотезы, это Гипотеза вытекает. Останется только выяснить - откуда вытекает? И не вредит ли это её Источнику?:-)