theorem :: XPRIMES2:6472

canceled;