２ 恒等式但し、これにはある条件が許すかぎり、Xの可動範囲が生じるのであった。それは、あくまでもX＝３５、というパターンではなく、（ミケン＋ダッシュ）＝７０ということであった。そもそも、バッタを蔵本のあの長いプールで５０メートル泳ぎ切るのはなかなか苦難の道である。それをダッシュは回避して、ミケンに任せてみようか…という魂胆なのだ。ミケンにバッタを３６秒で泳がせて、自分がフリーで３４秒、ということは、ダッシュ自身がノルマを１秒負担してやるから、ミケンに楽をさせてやろうというありがたい御好意に違いない。
とにかく、ダッシュの御好意は、まだ表面化していないので、近々編集部が責任をもってダッシュ当人とコンタクトをとってインタビューしてみようと思っている次第である。
さて、どちらにしても、ウカウカできないのが競泳経験者２人だ。この２人は「伸びしろ」が存在しない。２人とも現役当時のタイムが出るはずもなく、出たら出たで、以前の競泳とは何だったのだろうという虚無感に襲われることは間違いない。だが、２人にも実際にノルマは存在するわけだし、それをクリアするのも実は結構やっかいだったりする。
バイオは３４秒というノルマだが、この３年間、長水路で３４秒前半を出したことが、ない。元来スプリント能力に欠如するバイオにこれ以上の上積みはなかろう。
ならば、本来、１人で２００メートルを泳いでも、２分１３秒を破ることのできる、今でも徳島県記録保持者であるスマイリーに、２８秒という要求がなされるのは、自然な流れである。
結局のところ
（スマイリー＋バイオ＋ミケン＋ダッシュ）＝１３３
であればよいのだから、内訳はさておき、１３３を左辺に移項して、
（スマイリー＋バイオ＋ミケン＋ダッシュ）−１３３＝０
が常に成立するような値を満たせば、この恒等式は証明されるのである。
スマイリーが２８秒を切れば、常にこの恒等式は証明される。
（まだまだ、夏）