この整合的ＯＶ型はショートするということはない
fact1: 「そのアルテッツァは結び付き易くないけれど弁解がましい」ということは正しい fact2: そのアルテッツァが結び付き易くないがしかし弁解がましいならこの整合的ＯＶ型はショートする
$facts$ = fact1: 「そのアルテッツァは結び付き易くないけれど弁解がましい」ということは正しい fact2: そのアルテッツァが結び付き易くないがしかし弁解がましいならこの整合的ＯＶ型はショートする ; $hypothesis$ = この整合的ＯＶ型はショートするということはない ; $proof$ = 
事実1: 「そのアルテッツァは結び付き易くないけれど弁解がましい」ということは正しい
事実2: そのアルテッツァが結び付き易くないがしかし弁解がましいならこの整合的ＯＶ型はショートする

仮説: この整合的ＯＶ型はショートするということはない