File:Japanese_theorem_2.svg loading ...