一次独立な平面上のベクトルa↑,b↑を用いて、
すべての平面上のベクトルは
sa↑+tb↑(s,tは実数)
の形にただ1通りに表せる

これの「すべて」という保証はどこから来るのでしょう?証明できるのでしょうか?