>>690
何の証明の話?