それらの定理は証明できないということを証明しても金もらえるのか?