theorem :: XPRIMES2:6905

canceled;