User talk:Kyodaisuu/BashicuProof

Translation
Are you possibly planning to translate this proof just like you did the description of Bashicu matrix system? I am really curious to see the proof, but Google Translate (or for that matter any other translator) turns out to not be really useful for that. LittlePeng9 (talk) 20:28, January 8, 2016 (UTC)