Если их ортогональность выводить из того, что они соответствуют разным собственным значениям эрмитовского оператора спиральности, то ясно. Если же считать прямо, взяв за основу спинор

в виде формулы (16)
http://padaread.com/?book=6571&pg=195, то у меня получается что-то типа

. Это выражение равно

, если

и

ортогональны, но выше(до введения спиральности) было принято

. Как доказать, что для спиноров

с разными спиральностями будет ноль, а не единица, не используя условия, озвученного в первом предложении этого сообщения?