このサイクルは物語>FAであることが証明されました。