proof of tachyons