それですそれ!!
証明って出来ますか？
因みに二通りの二つの立法の和で表せる最初の数らしいです。