theorem :: XPRIMES2:6105

canceled;