Yes of course.
I am Mr. Factoid, you didn't know that? Every thing I speak is as if it were from the lips of Mohammed or God, and we know they are both truth incarnate.
"Beware of bugs in the above code; I have only proved it correct, not tried it."
-- Donald Knuth