「このＭＡＰ．四十八Ｃは簡素化するということはない」ということは成り立つ
fact1: このＭＡＰ．四十八Ｃは簡素化するけれどそれは進み過ぎない
$facts$ = fact1: このＭＡＰ．四十八Ｃは簡素化するけれどそれは進み過ぎない ; $hypothesis$ = 「このＭＡＰ．四十八Ｃは簡素化するということはない」ということは成り立つ ; $proof$ = 
事実1: このＭＡＰ．四十八Ｃは簡素化するけれどそれは進み過ぎない

仮説: 「このＭＡＰ．四十八Ｃは簡素化するということはない」ということは成り立つ