ZFC上で、選択公理と三平方の定理は同値!