F1で使うエンジンオイルが鉱物油だという人がいるのですが
本当ですか