theorem :: XPRIMES2:6466

canceled;