Proof SLTB: took out unnecessary "are"

Line 839: changed "So there are are scalars" to "So there are scalars"