3次元球面内の平坦トーラスに関する直径予想 (部分多様体と四元数構造)