theorem :: XPRIMES2:6566

canceled;