[ch4s3]

That doesn't seem so obvious that it should be taken as true on its face. You could perhaps reason your way there, but it may not pan out in reality.